Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
381	The Effect of Context on Semantic Similarity Measurement Carsten Keßler1 , Martin Raubal2 , and Krzysztof Janowicz1 1 2 Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:32 Statistical distance Information science Knowledge engineering Computational linguistics Semantic similarity Technical communication Description logic Similarity Ontology Semantic Web
382	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
383	Replication of Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu I. Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Logic in computer science Formal methods Assertion Debugging Diff utility Software bug Merge Go Logarithm
384	Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-10-02 11:28:08 Logic in computer science Mathematical logic Aachen RWTH Aachen University Termination analysis Boolean satisfiability problem NP-completeness Algorithm Rewriting
385	Re-engineering OntoSem Ontology Towards OWL DL Compliance Guntis BARZDINS, Normunds GRUZITIS and Renars KUDINS Institute of Mathematics and Computer Science, University of Latvia Raina bulv. 29, Riga, LV-1459, Latvia gun Add to Reading List Source URL: www.semti-kamols.lv Language: English - Date: 2006-08-31 04:24:10 Semantic Web Knowledge engineering Knowledge representation Ontology Information science Web Ontology Language Description logic Semantic reasoner Formal ontology Frame language Resource Description Framework Ontology engineering
386	Giovanni Tuzet Bocconi University (Milan) RESPONSIBLE FOR TRUTH? Peirce on Judgment and Assertion Add to Reading List Source URL: www.unav.es Language: English - Date: 2006-03-21 10:12:52 Charles Sanders Peirce Philosophical logic Philosophy of science Epistemology Theories of truth Truth Pragmatism Abductive reasoning Judgment Inquiry Meaning Sequent
387	Grading Rubric – Project 2 – Final Report and Source Code (15% of Project 2 Grade) Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English - Date: 2012-07-25 00:00:39 Algorithm Mathematical logic Theoretical computer science ALGOL 68 Subroutine
388	This poster describes the principal elements of a methodology - and its associated computational system - that generates graded categories of intonation contours from sets of instances belonging to these categories. At t Add to Reading List Source URL: www.labphon.org Language: English - Date: 2014-10-07 13:13:53 Tone Prosody Cognitive science Phonology Intonation Pitch contour Fuzzy logic Fuzzy set Prosodic unit Prototype theory
389	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
390	SVoNt – Version Control of OWL Ontologies on the Concept Level Markus Luczak-R¨osch, G¨okhan Coskun, Adrian Paschke, Mario Rothe, Robert Tolksdorf {luczak,coskun,paschke,mrothe,tolk}@inf.fu-berlin.de Abstract: Like i Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:06:44 Ontology Information science Semantic Web Technical communication Knowledge engineering Apache Subversion Web Ontology Language Description logic Upper ontology Draft:Outline of ontologies

UPDATE